Abstract type - PDFSEARCH.IO - Document Search Engine

Abstract type
Results: 1261

#	Item
631	Practical Variable-Arity Polymorphism T. Stephen Strickland, Sam Tobin-Hochstadt, and Matthias Felleisen PLT @ Northeastern University Abstract. Just as some functions have uniform behavior over distinct types, other fun Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-01-16 15:37:27 Mathematics Data types Subroutines Universal algebra Lambda calculus Type inference Type system Variadic function Map Software engineering Type theory Computing
632	Anatomical variability of the frontal sinuses and their application in forensic identification Type: Article Abstract: The uniqueness of anatomical structures and their variations provides the basis for forensic identifi Add to Reading List Source URL: eprints.um.edu.my Language: English - Date: 2012-10-03 00:29:22 Frontal sinus Paranasal sinuses Sinus Anatomy Human body Biology
633	Poset Pinball, the Dimension Pair Algorithm, and Type A Regular Nilpotent Hessenberg Varieties Add to Reading List Source URL: downloads.hindawi.com Language: English - Date: 2014-08-28 18:58:50 Algebraic geometry Numerical linear algebra Algebraic combinatorics Matrices Hessenberg variety Nilpotent Triangular matrix Schubert polynomial Algebra Abstract algebra Mathematics
634	Advances in Programming Languages APL6: Types, Classes, Haskell Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-10-07 19:06:11 Programming language theory Haskell Structural type system Type signature Nominative type system Polymorphism Abstract type Type class Java Software engineering Computing Type theory
635	arXiv:1009.0676v3 [math.AG] 21 Jan[removed]QUANTIZATION OF DRINFELD ZASTAVA IN TYPE A MICHAEL FINKELBERG AND LEONID RYBNIKOV To Borya Feigin on his 60th birthday Abstract. Drinfeld Zastava is a certain closure of the modul Add to Reading List Source URL: arxiv.org Language: English - Date: 2014-01-21 22:45:26 Representation theory Moduli theory Differential topology Orbifold Moduli space Sheaf Yangian Quiver Abstract algebra Algebra Mathematics
636	Windows Smart Card Minidriver Specification Version[removed]March 7, 2008 Abstract Smart card vendors can write card minidrivers to present a consistent interface to their smart card type to the Microsoft® Smart Card Base Add to Reading List Source URL: download.microsoft.com Language: English - Date: 2008-05-22 20:32:53 Smart cards Payment systems ISO standards Ubiquitous computing Card reader Cryptographic Service Provider Personal identification number Security token Microsoft CryptoAPI Microsoft Windows Computing Technology
637	LOCAL MULTIPLIER ALGEBRAS, INJECTIVE ENVELOPES, AND TYPE I W∗ -ALGEBRAS MART´IN ARGERAMI AND DOUGLAS R. FARENICK Abstract. Characterizations of those separable C∗ -algebras that have W∗ -algebra injective envelope Add to Reading List Source URL: ev03023.math.uregina.ca Language: English - Date: 2005-12-21 16:31:56 Operator theory Von Neumann algebra Multiplier algebra Hilbert space C*-algebra Frobenius algebra Abstract algebra Algebra Mathematics
638	Type-Safe Observable Sharing in Haskell Andy Gill The University of Kansas September 3, 2009 Add to Reading List Source URL: www.ittc.ku.edu Language: English - Date: 2010-05-31 11:34:42 Mathematics Logic Binary arithmetic Exclusive or Propositional calculus Boolean data type Parity bit ALGOL 68 Boolean algebra Abstract algebra Computing
639	Final Coalgebras as Greatest Fixed Points in ZF Set Theory∗ Lawrence C. Paulson [removed] Computer Laboratory, University of Cambridge, England Received 1 March 1999 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2002-09-27 12:57:43 Category theory Binary operations Functional programming F-coalgebra Initial algebra Coalgebra Function Cartesian product Exponentiation Mathematics Abstract algebra Type theory
640	doi:[removed]j.entcs[removed] Add to Reading List Source URL: maude.sip.ucm.es Language: English - Date: 2005-07-25 06:30:34 Data types Abstract data types Maude system Functional languages Procedural programming languages Type theory Stack ATS ALGOL 68 Software engineering Computing Programming language theory

UPDATE